1. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G., 3491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Programming languages )Electronic computers( -- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
3. Algebraic approaches to program semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Algebra
رده :
QA
76
.
7
.
M34
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
5. Algebraic theories
پدیدآورنده : Manes, Ernest G.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
6. Algebraic theories
پدیدآورنده : Manes, Ernest G
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Algebra, Universal,، Categories )Mathematics(
رده :
QA
251
.
M365
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Algebraic theories
پدیدآورنده : Manes, Ernest G.,3491-,E. G. Manes
موضوع : ، Algebra, Universal,، Categories )Mathematics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Predicate transformer semantics
پدیدآورنده : Manes, Ernest G.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
رده :
QA
76
.
7
.
M342
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)